@InProceedings{SantosSaleSant:2018:SoInVi,
               author = "Santos, Luciana Brasil R. and Sales, Camila P. and Santiago 
                         J{\'u}nior, Valdivino Alexandre de",
          affiliation = "Instituto Federal de Educa{\c{c}}{\~a}o, Ci{\^e}ncia e 
                         Tecnologia de S{\~a}o Paulo (IFSP) and Instituto Federal de 
                         Educa{\c{c}}{\~a}o, Ci{\^e}ncia e Tecnologia de S{\~a}o Paulo 
                         (IFSP) and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "XMITS: software inspections via formal verification",
            booktitle = "Anais...",
                 year = "2018",
                pages = "55--60",
         organization = "Congresso Brasileiro de Software, 9. (CBSOFT)",
             abstract = "In this paper, we present version 3.1 of XMITS, a tool developed 
                         to support Model Checking-aided inspections improving the design 
                         of software. XMITS enables the translation of UML behavioral 
                         diagrams representation to Transition Systems and then to the 
                         input language of NuSMV model checker. Our tool was applied to 
                         real case studies (embedded software) in the space domain. The 
                         main objective is to allow the use of Formal Methods (Model 
                         Checking, in this case) establishing a solution that can be used 
                         in practice. Tool video demonstration: 
                         https://youtu.be/dJ0tbJoO3Sg.",
  conference-location = "S{\~a}o Carlos, SP",
      conference-year = "17-21 set.",
             language = "en",
           targetfile = "Santos_xmits.pdf",
        urlaccessdate = "27 abr. 2024"
}